\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\fontsize  {12pt}{12pt}\selectfont  附录\nobreakspace  {}\nobreakspace  {}小节\nobreakspace  {}\ref  {subsec. ch5sec3.2}中推论证明}{133}{section*.355}\protected@file@percent }
\@writefile{toe}{\contentsline {chapter}{\bfseries  \fontsize  {12pt}{12pt}\selectfont  Appendix \nobreakspace  {}\nobreakspace  {}Proof of the Corollaries in Subsection\nobreakspace  {}\ref  {subsec. ch5sec3.2} }{133}{section*.356}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {.1}证明推论\nobreakspace  {}\ref  {cor. PROB_dw}}{133}{section*.357}\protected@file@percent }
\@writefile{toe}{\contentsline {section}{\numberline {.1}The proof of corollary\nobreakspace  {}\ref  {cor. PROB_dw} }{133}{section*.358}\protected@file@percent }
\newlabel{appendix. PROB_dw}{{.1}{133}{证明推论~\ref {cor. PROB_dw}}{section*.358}{}}
\@writefile{toc}{\contentsline {section}{\numberline {.2}证明推论\nobreakspace  {}\ref  {cor. PROB_recursive_c_w}}{133}{section*.359}\protected@file@percent }
\@writefile{toe}{\contentsline {section}{\numberline {.2}The proof of corollary\nobreakspace  {}\ref  {cor. PROB_recursive_c_w} }{133}{section*.360}\protected@file@percent }
\newlabel{appendix. PROB_recursive_c_w}{{.2}{133}{证明推论~\ref {cor. PROB_recursive_c_w}}{section*.360}{}}
\newlabel{eq. PROBappen_expan_c_w}{{B-2}{133}{证明推论~\ref {cor. PROB_recursive_c_w}}{equation.B-2}{}}
\newlabel{eq. PROBappen_expan_c_w+1}{{B-3}{134}{证明推论~\ref {cor. PROB_recursive_c_w}}{equation.B-3}{}}
\newlabel{eq. PROBappen_expan_c_w+1_add_onemoreterm}{{B-4}{134}{证明推论~\ref {cor. PROB_recursive_c_w}}{equation.B-4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {.3}证明推论\nobreakspace  {}\ref  {cor. PROB_e_w^D}}{134}{section*.361}\protected@file@percent }
\@writefile{toe}{\contentsline {section}{\numberline {.3}The proof of corollary\nobreakspace  {}\ref  {cor. PROB_e_w^D}}{134}{section*.362}\protected@file@percent }
\newlabel{appendix. PROB_e_w^D}{{.3}{134}{证明推论~\ref {cor. PROB_e_w^D}}{section*.362}{}}
\newlabel{eq. tilde_e_k^D and tilde_e_{k+1}^{D}}{{.3}{135}{证明推论~\ref {cor. PROB_e_w^D}}{section*.362}{}}
\newlabel{eq. tilde_e_k^D if D>=2}{{B-6}{135}{证明推论~\ref {cor. PROB_e_w^D}}{equation.B-6}{}}
\@setckpt{appendix/appB}{
\setcounter{page}{136}
\setcounter{equation}{6}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{0}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{13}
\setcounter{table}{2}
\setcounter{parentequation}{20}
\setcounter{LT@tables}{0}
\setcounter{LT@chunks}{0}
\setcounter{subfigure}{0}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{lotdepth}{1}
\setcounter{@contsubnum}{2}
\setcounter{newflo@tctr}{8}
\setcounter{NAT@ctr}{172}
\setcounter{endNonectr}{184}
\setcounter{currNonectr}{0}
\setcounter{Item}{0}
\setcounter{Hfootnote}{0}
\setcounter{Hy@AnnotLevel}{0}
\setcounter{bookmark@seq@number}{88}
\setcounter{AlgoLine}{11}
\setcounter{algocfline}{14}
\setcounter{algocfproc}{14}
\setcounter{algocf}{9}
\setcounter{lstnumber}{1}
\setcounter{section@level}{0}
\setcounter{lstlisting}{0}
\setcounter{algoen}{0}
\setcounter{aendepth}{1}
\setcounter{currdefinitionctr}{1}
\setcounter{enddefinitionctr}{1}
\setcounter{definition}{0}
\setcounter{currexamplectr}{0}
\setcounter{endexamplectr}{0}
\setcounter{example}{0}
\setcounter{curralgoctr}{0}
\setcounter{endalgoctr}{0}
\setcounter{algo}{0}
\setcounter{currtheoremctr}{10}
\setcounter{endtheoremctr}{2}
\setcounter{theorem}{3}
\setcounter{curraxiomctr}{0}
\setcounter{endaxiomctr}{0}
\setcounter{axiom}{0}
\setcounter{currpropositionctr}{0}
\setcounter{endpropositionctr}{0}
\setcounter{proposition}{0}
\setcounter{currlemmactr}{4}
\setcounter{endlemmactr}{0}
\setcounter{lemma}{0}
\setcounter{currcorollaryctr}{3}
\setcounter{endcorollaryctr}{0}
\setcounter{corollary}{3}
\setcounter{currremarkctr}{0}
\setcounter{endremarkctr}{0}
\setcounter{remark}{0}
\setcounter{currassumptionctr}{6}
\setcounter{endassumptionctr}{0}
\setcounter{assumption}{0}
\setcounter{pubctr}{0}
}
